completion of procedure set

См. также в других словарях:

• Knuth-Bendix completion algorithm — The Knuth Bendix completion algorithm is an algorithm for transforming a set of equations (over terms) into a confluent term rewriting system. When the algorithm succeeds, it has effectively solved the word problem for the specified algebra. An… …   Wikipedia

• Command-line completion — Example of command line completion in Bash. Command line completion (also tab completion) is a common feature of command line interpreters, in which the program automatically fills in partially typed commands. Command line interpreters are… …   Wikipedia

• Inventory (museum) — An inventory is an itemized list of objects that the museum has accessioned or received via loan(s) and must be physically located by an examiner. A complete, one hundred percent inventory, or a random inventory of the collection must be carried… …   Wikipedia

• thought — thought1 /thawt/, n. 1. the product of mental activity; that which one thinks: a body of thought. 2. a single act or product of thinking; idea or notion: to collect one s thoughts. 3. the act or process of thinking; mental activity: Thought as… …   Universalium

• drafting — /draf ting, drahf /, n. See mechanical drawing. [1875 80; DRAFT + ING1] * * * Precise graphical representation of a structure, machine, or its component parts that communicates the intent of a technical design to the fabricator (or the… …   Universalium

• Addition — is the mathematical process of putting things together. The plus sign + means that two numbers are added together. For example, in the picture on the right, there are 3 + 2 apples meaning three apples and two other apples which is the same as… …   Wikipedia

• Carson Palmer — Infobox NFLactive caption=Palmer playing quarterback for the Cincinnati Bengals currentteam=Cincinnati Bengals currentnumber=9 currentposition=Quarterback birthdate=birth date and age|1979|12|27 birthplace=Fresno, California heightft=6 heightin=5 …   Wikipedia

• Tupolev Tu-144 — Tu 144 Aeroflot Tu 144 at the Paris Air Show in 1975 …   Wikipedia

• Cell cycle — For the separation of chromosomes that occurs as part of the cell cycle, see mitosis. For the Academic journal, see Cell Cycle. Each turn of the cell cycle divides the chromosomes in a cell nucleus. The cell cycle, or cell division cycle, is the… …   Wikipedia

• General Assembly Hall of the Church of Scotland — The Assembly Hall is located between the Lawnmarket and The Mound in Edinburgh, Scotland. It is the meeting place of the General Assembly of the Church of Scotland. HistoryFollowing the Disruption in the Church of Scotland in 1843, the emergent… …   Wikipedia

• Field of sets — Set algebra redirects here. For the basic properties and laws of sets, see Algebra of sets. In mathematics a field of sets is a pair where X is a set and is an algebra over X i.e., a non empty subset of the power set of X closed under the… …   Wikipedia